(define (problem tire_4_6_24777)
  (:domain tire)
  (:objects n0 n1 n2 n3 - location)
  (:init (vehicle-at n3)
         (road n0 n1) (road n1 n0)
         (road n0 n2) (road n2 n0)
         (road n0 n3) (road n3 n0)
         (road n1 n2) (road n2 n1)
         (road n1 n3) (road n3 n1)
         (road n2 n3) (road n3 n2)
         (spare-in n0)
         (spare-in n2)
         (spare-in n3)
         (not-flattire)
  )
  (:goal (vehicle-at n1))
)
